![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th AVoCS 2006: Nancy, France
- Stephan Merz, Tobias Nipkow:
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006. Electronic Notes in Theoretical Computer Science 185, Elsevier 2007 - Stephan Merz, Tobias Nipkow
:
Preface. 1-2 - Hasan Amjad:
Compressing Propositional Refutations. 3-15 - Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller:
Automatic Verification of Bossa Scheduler Properties. 17-32 - Michaël Cadilhac
, Thomas Hérault
, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil:
Evaluating Complex MAC Protocols for Sensor Networks with APMC. 33-46 - Dominique Cansell, Dominique Méry:
Incremental Parametric Development of Greedy Algorithms. 47-62 - Alastair F. Donaldson, Alice Miller
:
Extending Symmetry Reduction Techniques to a Realistic Model of Computation. 63-76 - Lars-Henrik Eriksson:
The GTO Toolset and Method. 77-91 - Sara Gradara, Antonella Santone, Maria Luisa Villani
:
Formal Verification of Concurrent Systems via Directed Model Checking. 93-105 - E. Kleiner, T. Newcomb:
On the Decidability of the Safety Problem for Access Control Policies. 107-120 - Nick Moffat, Michael Goldsmith:
Assumption-Commitment Support for CSP Model Checking. 121-137 - Frank Ortmeier, Gerhard Schellhorn:
Formal Fault Tree Analysis - Practical Experiences. 139-151
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.